// `Show` is a trait, not a type
fn f(_ : Show) -> Unit {
  
}